Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
381	SELF-SIMILAR AND SOLITARY WAVE SOLUTIONS WITH RING PROFILES OF ¨ TWO-COMPONENT NONLINEAR SCHRODINGER SYSTEMS Add to Reading List Source URL: ima.umn.edu Language: English - Date: 2011-10-06 10:33:30 Linear temporal logic Temporal logic Mathematical logic Symbol Mathematical analysis Mathematics Operator theory
382	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
383	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 10:44:31 Mathematical logic Model theory Well-formed formula Linear temporal logic Logic Metalogic Formal languages
384	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-31 09:04:26 Function Modal logic Model theory Linear temporal logic Μ operator Mathematics Logic Mathematical logic
385	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:24 Philosophical logic Model theory Metalogic Bisimulation Logic in computer science Kripke semantics Modal logic State transition system Linear temporal logic Logic Mathematical logic Mathematics
386	Message-Generated Kripke Semantics Jan van Eijck and Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:42:48 Modal logic Formal languages Philosophical logic Epistemic modal logic Interpretation Common knowledge Kripke semantics Constructible universe Linear temporal logic Logic Mathematical logic Model theory
387	THE EPISTEMICS OF PRESUPPOSITION PROJECTION JAN VAN EIJCK AND CHRISTINA UNGER CWI (Amsterdam), Uil-OTS (Utrecht) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:18:04 Formal languages Model theory Modal logic Non-classical logic Philosophical logic Interpretation Presupposition Linear temporal logic Μ operator Logic Semantics Mathematical logic
388	Microsoft PowerPoint - all-lectures-markt07 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-08-04 08:21:38 Mathematical logic Mathematics Science Metalogic Kripke structure Well-formed formula Symbolic trajectory evaluation Linear temporal logic Logic Model checking Temporal logic
389	Amos Ron Lectures Notes, Math887 09may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-09 12:07:54 Golden ratio Hahn–Banach theorem Distribution Dual space Linear temporal logic Μ operator Mathematical analysis Functional analysis Mathematics
390	Amos Ron Lectures Notes, Math887 05may03 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-05-05 15:56:18 Hilbert space Linear algebra Mathematics Spectral theory Generalized functions Μ operator Linear temporal logic Operator theory Physics Mathematical analysis

UPDATE